2

Validation of security protocol implementations from security objectives

Year:
2013
Language:
english
File:
PDF, 2.06 MB
english, 2013
12

Model based security verification of protocol implementation

Year:
2015
Language:
english
File:
PDF, 2.32 MB
english, 2015
16

Verification Method of Interoperability for Real Time Systems

Year:
2000
Language:
english
File:
PDF, 6.75 MB
english, 2000